101. A theory of formal deducibility
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
102. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: (طهران)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
103. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
no
.
18
104. A theory of sets
پدیدآورنده : / Anthony P. Morse
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
105. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
106. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W7483
2005
107. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
108. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
109. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
110. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: (طهران)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
111. Abstract set theory
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
112. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
113. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
114. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
115. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
116. Adaptive Resonance Theory Microchips
پدیدآورنده : by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
117. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
118. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
119. Advanced mathematics :
پدیدآورنده : Stanley J. Farlow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
رده :
QA37
.
3
120. Advanced mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
